141. Functional and logic programming
پدیدآورنده: Tom Schrijvers, Peter Thiemann (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Functional programming (Computer science), Congresses,Logic programming, Congresses
رده :
QA76
.
62
.
F85
2011eb
142. Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings
پدیدآورنده: Aart Middeldorp, Taisuke Sato )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1722
143. Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings
پدیدآورنده: Zhenjiang Hu, Mario Rodriguez-Artalejo )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2441
144. Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings
پدیدآورنده: Herbert Kuchen, Kazunori Ueda )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2024
145. Functional and logic programming : 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 : proceedings
پدیدآورنده: Yukiyoshi Kameyama, Peter J. Stuckey )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2998
146. Functional and logic programming: 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
62
.
F84
2001
147. Fuzzy systems design: social and engineering applications
پدیدآورنده: Leonid Reznik, Vladimir Dimitrov, Janusz Kacprzyk )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، System design,، Fuzzy systems,، Logic programming
رده :
QA
76
.
9
.
S88
F89
1998
148. Generalized quantifiers and computation
پدیدآورنده: Jouko Väänänen (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
149. Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop : Aix-en-Provence, France, August 11-12, 1997 : revised lectures
پدیدآورنده: Jouko Vaananen )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science -- Mathematics,، Computer logic,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1754
150. Graph-Based Proof Procedures for Horn Clauses
پدیدآورنده: \ Stan Raatz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic programming,Horn clauses,برنامه‌نویسی منطقی
رده :
E-Book
,
151. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
152. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Logic programming , Artificial intelligence , Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
153. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
154. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H26
155. Implementation and application of functional language
پدیدآورنده: / Jurriaan Hage, Marco T. Morazaan (eds
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
رده :
QA76
.
62
.
I58
2010
156. Implementations of Logic Programming Systems
پدیدآورنده: edited by Evan Tick, Giancarlo Succi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic programming.
رده :
QA76
.
63
E358
1994
157. Implementations of logic programming systems
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming
رده :
QA
76
.
63
.
I48
1994
158. Inductive Logic Programming
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic programming -- Congresses,Induction (Logic) -- Congresses,برنامه‌نویسی منطقی -- کنگره‌ها,استقرا (منطق) -- کنگره‌ها
رده :
E-Book
,
159. Inductive Logic Programming
پدیدآورنده: \ Jesse Davis, Jan Ramon (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic programming,برنامه‌نویسی منطقی, -- Congresses, -- کنگره‌ها,a03,a03,Induction (Logic) -- Congresses.,Machine learning -- Congresses.,استقرا (منطق) -- کنگره ها,فراگیری ماشینی -- کنگره ها
رده :
QA
76
.
63
.
I57
2015
E-Book
,
160. Inductive Logic Programming :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic programming ; Congresses. ;
